منابع مشابه
Easy lambda-terms are not always simple
A closed λ-termM is easy if, for any other closed termN , the lambda theory generated by M = N is consistent, while it is simple easy if, given an arbitrary intersection type τ , one can find a suitable pre-order on types which allows to derive τ forM . Simple easiness implies easiness. The question whether easiness implies simple easiness constitutes Problem 19 in the TLCA list of open problem...
متن کاملAssessment of heart failure--not always easy.
Patients with dyspnoea often present a chaldisease is difficult to determine when there unusual, but in the present case the finding lenge to clinicians, even when causes other than heart failure have been excluded. The diagnosis of heart failure (1) has traditionally been made in the light of history of present illness, clinical findings of oedema, pulmonary congestion, distended neck veins an...
متن کاملProlonged (therapeutic) endotracheal intubation.
In recent years there has been an increased use of therapeutic intubation. It is especially useful in conscious patients postoperatively for periods of a day or so when the need for respiratory assistance is short-lived. It can be utilized for many days but the likelihood of laryngeal damage is probably increased, although in the individual case the shortness of the period of intubation is no g...
متن کاملAwareness during endotracheal intubation.
Sir,—The paper by Dunnett (1977) and the subsequent letter from Cormack (1977) deal with the problem of avoiding awareness during endotracheal intubation. May I draw attention to a special situation in which the likelihood of such awareness appears to be increased. This happens when the intranasal cavity is prepared for surgery with cocaine solution or cocaine paste immediately before induction...
متن کاملSimple is not easy
I review and challenge the views on simplicity and its role in linguistics put forward by Ludlow (2011). In particular, I criticize the claim that simplicity—in the sense pertinent to science—is nothing more than ease of use or “user-friendliness”, motivated by economy of (cognitive) labor. I argue that Ludlow’s discussion fails to do justice to the diversity of factors that are relevant to sim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Anesthesiology
سال: 2012
ISSN: 0003-3022
DOI: 10.1097/aln.0b013e31824a890d